1

Factorization in Generalized Power Series

Year:
2000
Language:
english
File:
PDF, 4.26 MB
english, 2000
3

Automatic synthesis of typed Λ-programs on term algebras

Year:
1985
Language:
english
File:
PDF, 1.04 MB
english, 1985
5

Transseries as germs of surreal functions

Year:
2018
Language:
english
File:
PDF, 552 KB
english, 2018
6

Combinatorial principles in elementary number theory

Year:
1991
Language:
english
File:
PDF, 1.05 MB
english, 1991
7

On the provability logic of bounded arithmetic

Year:
1993
Language:
english
File:
PDF, 1.36 MB
english, 1993
9

The Interpretability Logic of Peano Arithmetic

Year:
1990
Language:
english
File:
PDF, 627 KB
english, 1990
10

Discrete subgroups of locally definable groups

Year:
2013
Language:
english
File:
PDF, 271 KB
english, 2013
11

o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS

Year:
2009
Language:
english
File:
PDF, 257 KB
english, 2009
13

o-Minimal Fundamental Group, Homology and Manifolds

Year:
2002
Language:
english
File:
PDF, 389 KB
english, 2002
14

On the homotopy type of definable groups in an o-minimal structure

Year:
2011
Language:
english
File:
PDF, 325 KB
english, 2011
15

Federated Kalman Filter Simulation Results

Year:
1994
Language:
english
File:
PDF, 1.77 MB
english, 1994
16

On the Cop Number of a Graph

Year:
1993
File:
PDF, 608 KB
1993
17

Generalizations of Unification

Year:
1993
Language:
english
File:
PDF, 816 KB
english, 1993
18

Δ0-complexity of the relation y = Πi ⩽ nF(i)

Year:
1995
Language:
english
File:
PDF, 484 KB
english, 1995
19

Some new results on easy lambda-terms

Year:
1993
Language:
english
File:
PDF, 1.18 MB
english, 1993
22

An additivity theorem for uniformly continuous functions

Year:
2005
Language:
english
File:
PDF, 155 KB
english, 2005
24

Products of straight spaces

Year:
2009
Language:
english
File:
PDF, 256 KB
english, 2009
25

Functions with distant fibers and uniform continuity

Year:
2002
Language:
english
File:
PDF, 185 KB
english, 2002
26

Uniform quasi components, thin spaces and compact separation

Year:
2002
Language:
english
File:
PDF, 120 KB
english, 2002
27

Intersection theory for o-minimal manifolds

Year:
2001
Language:
english
File:
PDF, 233 KB
english, 2001
28

Infinite λ-calculus and types

Year:
1999
Language:
english
File:
PDF, 3.19 MB
english, 1999
30

Transfer Methods for O-Minimal Topology

Year:
2003
Language:
english
File:
PDF, 286 KB
english, 2003
36

Goosebumps

Year:
2002
Language:
english
File:
PDF, 197 KB
english, 2002
48

O-Minimal Spectra, Infinitesimal Subgroups and Cohomology

Year:
2007
Language:
english
File:
PDF, 1.40 MB
english, 2007
49

Cohomology of Groups in O-Minimal Structures: Acyclicity of the Infinitesimal Subgroup

Year:
2009
Language:
english
File:
PDF, 924 KB
english, 2009
50

Animation in the Elementary School

Year:
1971
Language:
english
File:
PDF, 4.57 MB
english, 1971